Logics of social choice and perspectives on their software implementation
نویسنده
چکیده
These are the accompanying notes to my presentation at the Schloss Dagstuhl Seminar 11101. In this talk, I will present a logic to reason about voting procedures, proposed in a common work with W. van der Hoek and M. Wooldridge. I will discuss some perspectives on its software implementation and try to assess its practicality. I will also make a short demonstration of a prototype.
منابع مشابه
Logics of Interaction , Coalitions and Social Choice ( extended abstract )
While different forms of social interaction have been extensively studied in several fields, the development of formal logics makes precise knowledge representation and mechanical reasoning about situations involving social interaction possible. In particular, such logics make it possible to formally specify and verify software implementing social mechanisms. In my talk I will give an overview ...
متن کاملNursing Students’ Perspectives about a Mobile Software on Nursing Process for Bedside Use
Introduction: One of the most important approaches in nursing practice is using the nursing process model. Yet, according to the existing information, this systematic method is not widely used in Iran. Therefore, the objective of this research was to study nursing students’ opinions about a nursing process mobile software (as a means for facilitating nursing process implementation) for bedside ...
متن کاملToward Customized Care; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
Patients want their personal needs to be taken into account. Accordingly, the management of care has long involved some degree of personalization. In recent times, patients’ wishes have become more pressing in a moving context. As the population ages, the number of patients requiring sophisticated combinations of longterm care is rising. Moreover, we are witnessing previously unvoiced demands, ...
متن کاملPersonalisation - An Emergent Institutional Logic in Healthcare?; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This commentary on the recent think piece by Mannion and Exworthy reviews their core arguments, highlighting their suggestion that recent forces for personalization have emerged which may counterbalance the strong standardization wave which has been evident in many healthcare settings and systems over the last two decades. These forces for personalization can take very different forms. The comm...
متن کاملCompeting Logics and Healthcare; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This paper offers a short commentary on the editorial by Mannion and Exworthy. The paper highlights the positive insights offered by their analysis into the tensions between the competing institutional logics of standardization and customization in healthcare, in part manifested in the conflict between managers and professionals, and endorses the plea of the authors for further research in this...
متن کامل